Nuprl Definition : es-local-le-pred
11,40
postcript
pdf
es-local-le-pred{i:l}(
es
;
P
) == (TERMOF{
es-interface-le-pred-bool
:ObjectId, 1:l, i:l}(
es
,
P
)).1
latex
clarification:
es-local-le-pred{i:l}(
es
;
P
) == (TERMOF{
es-interface-le-pred-bool
:ObjectId, 1:l, i:l}(
es
,
P
)).1
latex
Definitions
t
.1
,
f
(
a
)
,
es-interface-le-pred-bool
FDL editor aliases
es-local-le-pred
origin